disjunctions

dis·junc·tion || dɪs'dʒʌŋkʃn n. state of being disconnected; act of disconnecting; type of compound proposition which is true when one of its alternatives is true (Logic)

English contemporary dictionary. 2014.

Look at other dictionaries:

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • fern — fernless, adj. fernlike, adj. /ferrn/, n. any seedless, nonflowering vascular plant of the class Filicinae, of tropical to temperate regions, characterized by true roots produced from a rhizome, triangular fronds that uncoil upward and have a… …   Universalium

  • Fern — /ferrn/, n. a female given name. * * * Any of about 10,000–12,000 species (division Filicophyta) of nonflowering vascular plants that have true roots, stems, and complex leaves and reproduce by spores. Though ferns were once classified with the… …   Universalium

  • 2-satisfiability — In computer science, 2 satisfiability (abbreviated as 2 SAT or just 2SAT) is the problem of determining whether a collection of two valued (Boolean or binary) variables with constraints on pairs of variables can be assigned values satisfying all… …   Wikipedia

  • Herbrand's theorem — is a fundamental result of mathematical logic obtained by Jacques Herbrand (1930). [J. Herbrand: Recherches sur la theorie de la demonstration. Travaux de la Societe des Sciences et des Lettres de Varsovie, Class III, Sciences Mathematiques et… …   Wikipedia

  • Logical disjunction — Disjunction redirects here. For separation of chromosomes, see Meiosis. For disjunctions in distribution, see Disjunct distribution. Venn diagram of the logical disjunction of A and B …   Wikipedia

  • Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… …   Wikipedia

  • Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… …   Wikipedia

  • Jun Wen — Nacimiento 1963 Nacionalidad estadounidense Campo botánica, curadora Conocido por estudios de familias Araliaceae y …   Wikipedia Español

  • Bromeliaceae — Taxobox name = Bromeliaceae image width = 250px image caption = Pineapple, a bromeliad regnum = Plantae divisio = Magnoliophyta classis = Liliopsida ordo = Poales familia = Bromeliaceae familia authority = Juss. range subdivision ranks =… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.